Pikes Peak United Way Logic Model Template (submit with application) Organization: Program Name: Priority Area: Amount Requested:

Source URL: www.ppunitedway.org

Verification of Complex Adaptive Systems Working Group Report - Dagstuhl SeminarLuca Bortolussi, Giacomo Cabri, Giovanna Di Marzo Serugendo, Vashti Galpin, Jane Hillston, Roberta Lanciani, Mieke Massink, Mirco Tri

Source URL: homepage.lnu.se

• Metaphysics
• Complex systems theory
• Philosophy
• Formal methods
• Theoretical computer science
• Logic in computer science
• Runtime verification
• Model checking
• Complex adaptive system
• System
• Emergence
• Field

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs Claudio Corrodi1,2? , Alexander Heußner3 , and Christopher M. Poskitt1,4? Department of Computer Science, ETH Zürich, Switzerland Software Composit

Source URL: se.inf.ethz.ch

• Software engineering
• Computing
• Computer programming
• Logic in computer science
• Object-oriented programming languages
• Programming language semantics
• SCOOP
• Semantics
• Eiffel
• Operational semantics
• Concurrency
• Actor model

A complexity analysis of functional interpretations 1 Mircea-Dan HERNEST a,2 and Ulrich KOHLENBACH b,3 a Laboratoire ´

Source URL: www.mathematik.tu-darmstadt.de

• Logic
• Mathematical logic
• Proof theory
• Abstraction
• Intuitionism
• Constructivism
• Logic in computer science
• Model theory
• Dialectica interpretation
• Intuitionistic logic
• Realizability
• First-order logic

I NTRODUCTION T HE LST FRAMEWORK Iterative forcing and preservation of hyperimmunity

Source URL: ludovicpatey.com

• Computability theory
• Theoretical computer science
• Mathematical logic
• Theory of computation
• Mathematics
• Model theory
• Algorithm characterizations
• operator

The complexity of satisfaction problems in Reverse Mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCE

Source URL: ludovicpatey.com

• Logic
• Mathematics
• Constraint programming
• Abstraction
• Model theory
• Boolean satisfiability problem
• Electronic design automation
• Logic in computer science
• Complexity of constraint satisfaction
• Constraint satisfaction problem
• Satisfiability
• Binary relation

Appendix F: Examples of existing semantic representations of mathematics 1. The central limit theorem as represented in Isabelle [12]: 2. The definition of a Möbius transformation in Coq [28]:

Source URL: www.wolframfoundation.org

• General topology
• Mathematics
• ACL2
• Lisp
• Compact space
• Automated theorem proving
• Software
• Mathematical logic
• Model theory

Call by Contract for Cryptographic Protocols

Source URL: evenmere.org

• Formal methods
• Logic in computer science
• Metalogic
• Automated theorem proving
• Logic programming
• Substitution
• Postcondition
• First-order logic
• Parameter
• Precondition
• Well-formed formula
• Model theory

TMRF e-Book Advanced Knowledge Based Systems: Model, Applications & Research (Eds. Sajja & Akerkar), Vol. 1, pp 12 – 28, 2010 Chapter 2

Source URL: www.tmrfindia.org

• Knowledge representation
• Semantic Web
• Artificial intelligence
• Knowledge engineering
• Information science
• Ontology language
• Ontology
• Knowledge representation and reasoning
• Web Ontology Language
• Description logic
• Conceptual graph
• Frame language

ExCAPE Annual Report of Activities April 2014 to MarchOverview

Source URL: excape.cis.upenn.edu

• Theoretical computer science
• Electronic engineering
• Digital electronics
• Music
• Electronic design automation
• Formal verification
• Logic in computer science
• High-level synthesis
• Robotics
• Domain-specific language
• Finite-state machine
• Model checking